2-Categories and Yoneda lemma
نویسنده
چکیده
منابع مشابه
On the Completion Monad via the Yoneda Embedding in Quasi-uniform Spaces
Making use of the presentation of quasi-uniform spaces as generalised enriched categories, and employing in particular the calculus of modules, we define the Yoneda embedding, prove a (weak) Yoneda Lemma, and apply them to describe the Cauchy completion monad for quasi-uniform spaces.
متن کاملThe Yoneda Lemma without category theory: algebra and applications
However it can just as well be considered a fundamental representation theorem of universal algebra, via the connection between the homfunctor of a category and free algebras for the theory represented by that category. This connection is not generally appreciated outside category theoretic circles, which this section endeavors to correct by presenting the relevant concepts from an algebraic pe...
متن کاملImplications of Yoneda Lemma to Category Theory
This is a survey paper on the implication of Yoneda lemma, named after Japanese mathematician Nobuo Yoneda, to category theory. We prove Yoneda lemma. We use Yoneda lemma to prove that each of the notions universal morphism, universal element, and representable functor subsumes the other two. We prove that a category is anti-equivalent to the category of its representable functors as a corollar...
متن کاملCommunes via Yoneda, from an Elementary Perspective
We present the Yoneda Lemma in terms of categories without explicit reference to the notion of functor. From this perspective we then define a commune as a common generalization of Chu spaces and presheaves, and give some applications.
متن کاملThe Syntax of Coherence
This article tackles categorical coherence within a two-dimensional generalization of Lawvere’s functorial semantics. 2-theories, a syntactical way of describing categories with structure, are presented. From the perspective here afforded, many coherence results become simple statements about the quasi-Yoneda lemma and 2-theory-morphisms. Given two 2-theories and a 2-theory-morphism between the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017